package jdk17.sealed;

public final class cat extends animal {
}
